scroll-bar: Remove jitter on the scroll bar when moving the mouse

This was due to incorrect pixel clamping, which bounced the height
of the actor between values. Just remove pixel clamping, as Clutter
will correctly do it for us.

https://bugzilla.gnome.org/show_bug.cgi?id=689243

diff --git a/src/st/st-scroll-bar.c b/src/st/st-scroll-bar.c
index f9c4c0887d5734234a04c6a5a9968156f1322f2a..2e1f125c6dfe0dba02518d54bb6ac7b847cf2a30 100644 (file)
--- a/src/st/st-scroll-bar.c
+++ b/src/st/st-scroll-bar.c
@@ -270,12 +270,6 @@ scroll_bar_allocate_children (StScrollBar           *bar,
           handle_box.y2 = content_box.y2;
         }
 
-      /* snap to pixel */
-      handle_box.x1 = (int) handle_box.x1;
-      handle_box.y1 = (int) handle_box.y1;
-      handle_box.x2 = (int) handle_box.x2;
-      handle_box.y2 = (int) handle_box.y2;
-
       clutter_actor_allocate (priv->handle,
                               &handle_box,
                               flags);